Interaction Diagrams
نویسنده
چکیده
Interaction diagrams are graphic representations of concurrent processes with evolving access capabilities; in particular they illustrate the points of access and relations between them. The basic step of computation is the migration of an access point between processes. This paper explains interaction diagrams through a sequence of examples. Diagrams can be regarded as graphic counterparts of terms in the-calculus and illuminate some interesting points on its construction.
منابع مشابه
Formal Semantics for AUML Agent Interaction Protocol Diagrams
In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri Nets. Agent interaction protocol diagrams are used to model agent conversations on an abstract level. By mapping elements of the diagrams to net comp...
متن کاملUML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformation and shown correct.
متن کاملMagnetic Properties of Fe49Co33Ni18Nanowire ArraysStudied by First-Order Reversal Curve Diagrams
Fe49Co33Ni18 nanowire arrays (175 nm in diameter and lengths ranging from 5 to 32μm) were fabricated into nanopores of hard-anodized aluminum oxide templates using pulsed ac electrodeposition technique. Hysteresis loop measurements indicated that increasing the length decreases coercivity and squareness values (from 274 Oe and 0.58 to200 Oe and 0.105, respective...
متن کاملUsing the Idaf (interaction Diagrams and Fragmentations) Tool Suite
Interaction diagrams are used in multi-agent systems to describe computation threads of agents and communication between agents. The IDaF (Interaction Diagrams And Fragmen-tations) is a tool suite based on the formalism of interaction diagrams and fragmentations. The tool suite consists of ValidatoR, FormatteR, TranslatoR, GrapheR and TesteR. This paper describes the usage of the tool suite.
متن کاملModeling Behavior with Interaction Diagrams in a UML and OCL Tool
This paper discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) Sequence diagram lifelines are extended with states from statecharts, and (2) communication diagrams are introduced as an alternative to sequence diag...
متن کامل